The complexity of satisfaction problems in Reverse Mathematics Ludovic Patey Laboratoire PPS, Université Paris Diderot, Paris, FRANCE

Source URL: ludovicpatey.com

• Logic
• Mathematics
• Constraint programming
• Abstraction
• Model theory
• Boolean satisfiability problem
• Electronic design automation
• Logic in computer science
• Complexity of constraint satisfaction
• Constraint satisfaction problem
• Satisfiability
• Binary relation

Title Abstract Definitions and Examples

Source URL: spot.colorado.edu

• Knot theory
• Abstract algebra
• Order theory
• Functions and mappings
• Distributive property
• Braid group
• Braid theory
• Racks and quandles
• Model theory
• Embedding
• Algebra
• Laver table

Appendix F: Examples of existing semantic representations of mathematics 1. The central limit theorem as represented in Isabelle [12]: 2. The definition of a Möbius transformation in Coq [28]:

Source URL: www.wolframfoundation.org

• General topology
• Mathematics
• ACL2
• Lisp
• Compact space
• Automated theorem proving
• Software
• Mathematical logic
• Model theory

C3.3 (W. Klopper) [C3.3:1] H. Fliegl, C. Hättig, and W. Klopper, Coupled-cluster response theory with linearr12 corrections: The CC2-R12 model for excitation energies, J. Chem. Phys. 124, )

Source URL: www.cfn.kit.edu

MLRF 1 Computational Implications of Gestalt Theory II: A Directed Diffusion to Model Collinear Illusory Contour Formation Steven Lehar

Source URL: cns-alumni.bu.edu

• Optical illusions
• Perception
• Psychology
• Cognitive science
• Illusory contours
• Triangles
• Vision
• Gestalt psychology
• Filling-in
• Filter
• Visual system

Stress and Coping - An Economic Approach Klaus Wälde1 Johannes-Gutenberg University Mainz and CESifo October 6, 2015 Stress is ubiquitous in society. In our model, stressors translate into subjective stress via an appra

Source URL: www.waelde.com

• Stress
• Behavior
• Psychology
• Behavioural sciences
• Psychological stress
• Appraisal theory
• Coping
• Emotion
• Stress management
• Stress-related disorders

Agent Environments for Multi-Agent Systems – A Research Roadmap Danny Weyns1, Fabien Michel2, H. Van Dyke Parunak, Olivier Boissier, Michael Schumacher, Alessandro Ricci (Organizers E4MAS – 10 Years Later) Anarosa Br

Source URL: homepage.lnu.se

• Multi-agent systems
• Systems science
• Computing
• Systems engineering
• Systems theory
• Simulation
• Artificial intelligence
• Complex systems theory
• Agent-based model
• Software agent
• Middleware
• Actor model

ARTICLE IN PRESS G Model JEBO-2771; No. of Pages 7 Journal of Economic Behavior & Organization xxxxxx–xxx

Source URL: pareto.uab.es

• Social status
• Behavior
• Gender studies
• Psychology
• Gender role
• Human behavior
• Role theory
• Gender
• Stereotype threat

Influence Propagation: Patterns, Model and a Case Study Yibin Lin, Agha Ali Raza, Jay-Yoon Lee, Danai Koutra, Roni Rosenfeld, and Christos Faloutsos School of Computer Science, Carnegie Mellon University, Pittsburgh, PA

Source URL: www.andrew.cmu.edu

• Software
• Social information processing
• Computing
• Metaphysics
• Network theory
• Community building
• Self-organization
• Systems theory
• Information
• Social network
• Entropy
• Facebook

Call by Contract for Cryptographic Protocols

Source URL: evenmere.org

• Formal methods
• Logic in computer science
• Metalogic
• Automated theorem proving
• Logic programming
• Substitution
• Postcondition
• First-order logic
• Parameter
• Precondition
• Well-formed formula
• Model theory